UN-BAYESIAN IMPLICATIONS OF IMPROPER BAYES INFERENCE IN ROUTINE STATISTICAL PROBLEMSSTONE M; DAWID AP.1972; BIOMETRIKA; G.B.; DA. 1972; VOL. 59; NO 2; PP. 369-375; BIBL. 9 REF.Serial Issue

COMPARISON OF NATURAL DEDUCTION AND LOCKING RESOLUTION IMPLEMENTATIONSGREENBAUM S; NAGASAKA A; O'RORKE P et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 159-171; BIBL. 16 REF.Conference Paper

CONGRUENCES DEDUCTIVESBOTH N.1972; STUD. CERC. MAT.; ROMAN; DA. 1972; VOL. 24; NO 5; PP. 683-685; ABS. FR.; BIBL. 2 REF.Serial Issue

EXTRACTION OF WAVE PARAMETERS FROM MEASURED HF RADAR SEA-ECHO DOPPLER SPECTRA.BARRICK DE.1977; RADIO SCI.; U.S.A.; DA. 1977; VOL. 12; NO 3; PP. 415-424; BIBL. 14 REF.Article

DETERMINATION OF THE TRANSFER FUNCTION OF A DIGITAL FILTER FROM THE REAL PART OF THE FREQUENCY RESPONSEUNBEHAUEN R.1972; ARCH. ELEKTRON. UBERTRAG. TECH.; DTSCH.; DA. 1972; VOL. 26; NO 12; PP. 551-557; ABS. ALLEM.; BIBL. 5 REF.Serial Issue

LA CARACTERISATION ALGEBRIQUE DES SYSTEMES ET THEORIES DEDUCTIFSBOTH N.1972; STUD. CERC. MAT.; ROMAN; DA. 1972; VOL. 24; NO 5; PP. 679-681; ABS. .; BIBL. 5 REF.Serial Issue

Computational reflection via mechanized logical deductionCIMATTI, A; TRAVERSO, P.International journal of intelligent systems. 1996, Vol 11, Num 5, pp 279-293, issn 0884-8173Article

A LAGRANGIAN DERIVATION OF THE ACTION-CONSERVATION THEOREM FOR DENSITY WAVESDEWAR RL.1972; ASTROPHYS. J.; U.S.A.; DA. 1972; VOL. 174; NO 2, PART 1; PP. 301-307; BIBL. 15 REF.Serial Issue

EFFICIENT HYBRID AND STATE-SPACE ANALYSIS OF THE ADJOINT NETWORKGADENZ RN; TEMES GC.1972; I.E.E.E. TRANS. CIRCUIT THEORY; U.S.A.; DA. 1972; VOL. 19; NO 5; PP. 520-521; BIBL. 7 REF.Serial Issue

Can Deduction be Justified?KHLENTZOS, D.Logique et Analyse. 1988, Vol 31, Num 123-124, pp 199-212Article

Structuring metatheory on inductive definitionsBASIN, David; MATTHEWS, Sean.Information and computation (Print). 2000, Vol 162, Num 1-2, pp 80-95, issn 0890-5401Article

Outils pour la preuve par analogie = Tools for proof by analogyCurien, Régis; Lugiez, D.1995, 152 p.Thesis

DENSITE D'UN ARBRE DE DEDUCTION ET CAPACITE ACTIVE D'UNE GRAMMAIREDIKOVSKIJ A YA.1972; PROBL. PEREDACHI INFORM.; S.S.S.R.; DA. 1972; VOL. 8; NO 4; PP. 88-98; BIBL. 11 REF.Serial Issue

A COMPARISON OF FINESTRUCTURE SPECTRA FROM THE MAIN THERMOCLINE.GREGG MC.1977; J. PHYS. OCEANOGR.; U.S.A.; DA. 1977; VOL. 7; NO 1; PP. 33-40; BIBL. 10 REF.Article

Induction et déductionBOURIAU, Christophe.Philosophia scientiae. 2005, Vol 9, Num 1, pp 73-81, issn 1281-2463, 9 p.Article

Reasoning and Social Psychology : From Mental Logic to a Perspective ApproachLEGRENZI, P; SONINO LEGRENZI, M.Pragmatique et psychologie du raisonnement. Intellectica. 1991, Num 11, pp 53-80Book Chapter

Probabilistic Inference and Probabilistic ReasoningKYBURG.Philosophical Topics. 1990, Vol 18, Num 2, pp 107-116, issn 0038-481XArticle

Peirce's Rule in Natural DeductionZIMMERMANN, Ernst.Theoretical computer science. 2002, Vol 275, Num 1-2, pp 561-574, issn 0304-3975Article

The tableau browser SNARKSKETTNER, M; EISINGER, N.Lecture notes in computer science. 1997, pp 408-411, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Schematismus und Deduktion in Kants Kritik der reinen VernunftFREULER, L.Kant-Studien. 1991, Vol 82, Num 4, pp 397-413, issn 0022-8877Article

Predication and Deduction in Aristotle : Aspirations to CompletenessSMITH, R.Topoi. 1991, Vol 10, Num 1, pp 43-52, issn 0167-7411Article

FUZZY-PLANNER: REASONING WITH INEXACT CONCEPTS IN A PROCEDURAL PROBLEM-SOLVING LANGUAGE.KLING R.1974; J. CYBERN.; U.S.A.; DA. 1974; VOL. 4; NO 2; PP. 105-122; BIBL. 16 REF.Article

Efficient data structures for deduction systemsOHLBACH, H. J.Lecture notes in computer science. 1997, Vol 1341, pp 1-2, issn 0302-9743, isbn 3-540-63792-3Conference Paper

On the strong normalisation of intuitionistic natural deduction with permutation-conversionsDE GROOTE, Philippe.Information and computation (Print). 2002, Vol 178, Num 2, pp 441-464, issn 0890-5401, 24 p.Conference Paper

Nouvelles techniques pour la construction de modèles finis et infinis en Déduction Automatique = New Techniques for Finite and Infinite Model Building in Automated DeductionPeltier, Nicolas; Caferra, Ricardo.1997, 287 p.Thesis